e8d4a85764ea842a9b0a32f93cb28ef1e63d059d,tests/fr.inria.diverse.melange.tests/src/main/java/simplefsm/timedfsm/adapters/timedfsmmt/FSMAdapter.java,FSMAdapter,setInitialState,#State#,38

Before Change


  
  @Override
  public void setInitialState(final State o) {
    adaptee.setInitialState(((simplefsm.timedfsm.adapters.timedfsmmt.StateAdapter) o).getAdaptee()) ;
  }
  
  private EList<State> finalState;

After Change


  
  @Override
  public void setInitialState(final State o) {
    if (o != null)
    	adaptee.setInitialState(((simplefsm.timedfsm.adapters.timedfsmmt.StateAdapter) o).getAdaptee()) ;
    else adaptee.setInitialState(null) ;
  }
  
  private EList<State> finalState;